Residue classes of Lagrangian subbundles and Maslov classes

Residue Classes of Lagrangian Subbundles and Maslov Classes

For Lagrangian subbundles with singularities in symplectic vector bundles, explicit formulas of relation between their residue classes and Maslov classes outside singularities are obtained. Then a Lagrangian subbundle with singularity is constructed where all possible Maslov classes are nonzero but residue classes vanish for dimension > 2 . Moreover, a Lagrangian immersion with singularity is c...

Products in Residue Classes

Abstract. We consider a problem of P. Erdős, A. M. Odlyzko and A. Sárkőzy about the representation of residue classes modulom by products of two not too large primes. While it seems that even the Extended Riemann Hypothesis is not powerful enough to achieve the expected results, here we obtain some unconditional results “on average” over moduli m and residue classes modulo m and somewhat strong...

Classifying Isomorphic Residue Classes

We report on a case study on combining proof planning with computer algebra systems. We construct proofs for basic algebraic properties of residue classes as well as for isomorphisms between residue classes using di erent proving techniques, which are implemented as strategies in a multi-strategy proof planner. We show how these techniques help to successfully derive proofs in our domain and ex...

Classifying Isomorphi Residue Classes

Exploring Properties of Residue Classes

We report on an experiment in exploring properties of residue classes over the integers with the combined e ort of a multi-strategy proof planner and two computer algebra systems. An exploration module classies a given set and a given operation in terms of the algebraic structure they form. It then calls the proof planner to prove or refute simple properties of the operation. Moreover, we use d...